updates($L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$filter($\lambda$$e$.${\it isupdate}$(${\it In}$($e$));$L$)